Словарь по логике - экзистенциальное высказывание

высказывание о существовании к.-л. предметов и явлений, напр.: "Жизнь на Марсе существует", "Существуют ядовитые грибы" и т. п. Для выражения таких высказываний в формальном языке используется квантор существования ""х" (читается: "Существует х такой, что..."). Высказывание "Существуют ядовитые грибы" в формальном языке будет выглядеть так: "Существует х такой, что х есть ядовитый гриб". Отрицание Э. в. эквивалентно общему высказыванию: "Неверно, что существуют ядовитые грибы" эквивалентно "Все грибы неядовиты", и обратно, отрицание общего высказывания эквивалентно Э. в.: "Неверно, что все деревья теряют листву зимой" эквивалентно "Существует дерево, которое не теряет листвы зимой". Э.в. является следствием истинного единичного высказывания: из высказывания "Солнце звезда" следует "Существуют звезды".